Peetre theorem
In mathematics, the (linear) Peetre theorem, named after Jaak Peetre, is a result of functional analysis that gives a characterisation of differential operators in terms of their effect on generalized function spaces, and without mentioning differentiation in explicit terms. The Peetre theorem is an example of a finite order theorem in which a function or a functor, defined in a very general way, can in fact be shown to be a polynomial because of some extraneous condition or symmetry imposed upon it. This article treats two forms of the Peetre theorem. The first is the original version which, although quite useful in its own right, is actually too general for most applications.
The original Peetre theorem
Let M be a smooth manifold and let E and F be two vector bundles on M. Let
- [math]\displaystyle{ \Gamma^\infty (E),\ \hbox{and}\ \Gamma^\infty (F) }[/math]
be the spaces of smooth sections of E and F. An operator
- [math]\displaystyle{ D:\Gamma^\infty (E)\rightarrow \Gamma^\infty(F) }[/math]
is a morphism of sheaves which is linear on sections such that the support of D is non-increasing: supp Ds ⊆ supp s for every smooth section s of E. The original Peetre theorem asserts that, for every point p in M, there is a neighborhood U of p and an integer k (depending on U) such that D is a differential operator of order k over U. This means that D factors through a linear mapping iD from the k-jet of sections of E into the space of smooth sections of F:
- [math]\displaystyle{ D=i_D\circ j^k }[/math]
where
- [math]\displaystyle{ j^k:\Gamma^\infty E\rightarrow J^kE }[/math]
is the k-jet operator and
- [math]\displaystyle{ i_D:J^kE\rightarrow F }[/math]
is a linear mapping of vector bundles.
Proof
The problem is invariant under local diffeomorphism, so it is sufficient to prove it when M is an open set in Rn and E and F are trivial bundles. At this point, it relies primarily on two lemmas:
- Lemma 1. If the hypotheses of the theorem are satisfied, then for every x∈M and C > 0, there exists a neighborhood V of x and a positive integer k such that for any y∈V\{x} and for any section s of E whose k-jet vanishes at y (jks(y)=0), we have |Ds(y)|<C.
- Lemma 2. The first lemma is sufficient to prove the theorem.
We begin with the proof of Lemma 1.
- Suppose the lemma is false. Then there is a sequence xk tending to x, and a sequence of very disjoint balls Bk around the xk (meaning that the geodesic distance between any two such balls is non-zero), and sections sk of E over each Bk such that jksk(xk)=0 but |Dsk(xk)|≥C>0.
- Let ρ(x) denote a standard bump function for the unit ball at the origin: a smooth real-valued function which is equal to 1 on B1/2(0), which vanishes to infinite order on the boundary of the unit ball.
- Consider every other section s2k. At x2k, these satisfy
- j2ks2k(x2k)=0.
- Suppose that 2k is given. Then, since these functions are smooth and each satisfy j2k(s2k)(x2k)=0, it is possible to specify a smaller ball B′δ(x2k) such that the higher order derivatives obey the following estimate:
- [math]\displaystyle{ \sum_{|\alpha|\le k}\ \sup_{y\in B'_\delta(x_{2k})} |\nabla^\alpha s_k(y)|\le \frac{1}{M_k}\left(\frac{\delta}{2}\right)^k }[/math]
- where
- [math]\displaystyle{ M_k=\sum_{|\alpha|\le k}\sup |\nabla^\alpha\rho|. }[/math]
- Now
- [math]\displaystyle{ \rho_{2k}(y):=\rho\left(\frac{y-x_{2k}}{\delta}\right) }[/math]
- is a standard bump function supported in B′δ(x2k), and the derivative of the product s2kρ2k is bounded in such a way that
- [math]\displaystyle{ \max_{|\alpha|\le k}\ \sup_{y\in B'_\delta(x_{2k})}|\nabla^\alpha (\rho_{2k}s_{2k})|\le 2^{-k}. }[/math]
- As a result, because the following series and all of the partial sums of its derivatives converge uniformly
- [math]\displaystyle{ q(y)=\sum_{k=1}^\infty\rho_{2k}(y)s_{2k}(y), }[/math]
- q(y) is a smooth function on all of V.
- We now observe that since s2k and [math]\displaystyle{ \rho }[/math]2ks2k are equal in a neighborhood of x2k,
- [math]\displaystyle{ \lim_{k\rightarrow\infty}|Dq(x_{2k})|\ge C }[/math]
- So by continuity |Dq(x)|≥ C>0. On the other hand,
- [math]\displaystyle{ \lim_{k\rightarrow\infty}Dq(x_{2k+1})=0 }[/math]
- since Dq(x2k+1)=0 because q is identically zero in B2k+1 and D is support non-increasing. So Dq(x)=0. This is a contradiction.
We now prove Lemma 2.
- First, let us dispense with the constant C from the first lemma. We show that, under the same hypotheses as Lemma 1, |Ds(y)|=0. Pick a y in V\{x} so that jks(y)=0 but |Ds(y)|=g>0. Rescale s by a factor of 2C/g. Then if g is non-zero, by the linearity of D, |Ds(y)|=2C>C, which is impossible by Lemma 1. This proves the theorem in the punctured neighborhood V\{x}.
- Now, we must continue the differential operator to the central point x in the punctured neighborhood. D is a linear differential operator with smooth coefficients. Furthermore, it sends germs of smooth functions to germs of smooth functions at x as well. Thus the coefficients of D are also smooth at x.
A specialized application
Let M be a compact smooth manifold (possibly with boundary), and E and F be finite dimensional vector bundles on M. Let
- [math]\displaystyle{ \Gamma^\infty (E) }[/math]be the collection of smooth sections of E. An operator
- [math]\displaystyle{ D:\Gamma^\infty (E)\rightarrow \Gamma^\infty (F) }[/math]
is a smooth function (of Fréchet manifolds) which is linear on the fibres and respects the base point on M:
- [math]\displaystyle{ \pi\circ D_p=p. }[/math]
The Peetre theorem asserts that for each operator D, there exists an integer k such that D is a differential operator of order k. Specifically, we can decompose
- [math]\displaystyle{ D=i_D\circ j^k }[/math]
where [math]\displaystyle{ i_D }[/math] is a mapping from the jets of sections of E to the bundle F. See also intrinsic differential operators.
Example: Laplacian
Consider the following operator:
- [math]\displaystyle{ (L f)(x_0) = \lim_{r \to 0} \frac{2d}{r^2}\frac{1}{|S_r|} \int_{S_r} (f(x)-f(x_0)) dx }[/math]
where [math]\displaystyle{ f \in C^\infty(\mathbb{R}^d) }[/math] and [math]\displaystyle{ S_r }[/math] is the sphere centered at [math]\displaystyle{ x_0 }[/math] with radius [math]\displaystyle{ r }[/math]. This is in fact the Laplacian. We show will show [math]\displaystyle{ L }[/math] is a differential operator by Peetre's theorem. The main idea is that since [math]\displaystyle{ Lf(x_0) }[/math] is defined only in terms of [math]\displaystyle{ f }[/math]'s behavior near [math]\displaystyle{ x_0 }[/math], it is local in nature; in particular, if [math]\displaystyle{ f }[/math] is locally zero, so is [math]\displaystyle{ Lf }[/math], and hence the support cannot grow.
The technical proof goes as follows.
Let [math]\displaystyle{ M = \mathbb{R}^d }[/math] and [math]\displaystyle{ E }[/math] and [math]\displaystyle{ F }[/math] be the rank [math]\displaystyle{ 1 }[/math] trivial bundles.
Then [math]\displaystyle{ \Gamma^\infty(E) }[/math] and [math]\displaystyle{ \Gamma^\infty(F) }[/math] are simply the space [math]\displaystyle{ C^\infty(\mathbb{R}^d) }[/math] of smooth functions on [math]\displaystyle{ \mathbb{R}^d }[/math]. As a sheaf, [math]\displaystyle{ \mathcal{F}(U) }[/math] is the set of smooth functions on the open set [math]\displaystyle{ U }[/math] and restriction is function restriction.
To see [math]\displaystyle{ L }[/math] is indeed a morphism, we need to check [math]\displaystyle{ (Lu)|V = L(u|V) }[/math] for open sets [math]\displaystyle{ U }[/math] and [math]\displaystyle{ V }[/math] such that [math]\displaystyle{ V \subseteq U }[/math] and [math]\displaystyle{ u \in C^\infty(U) }[/math]. This is clear because for [math]\displaystyle{ x \in V }[/math], both [math]\displaystyle{ [(Lu)|V](x) }[/math] and [math]\displaystyle{ [L(u|V)](x) }[/math] are simply [math]\displaystyle{ \lim_{r \to 0} \frac{2d}{r^2}\frac{1}{|S_r|} \int_{S_r} (u(y)-u(x)) dy }[/math], as the [math]\displaystyle{ S_r }[/math] eventually sits inside both [math]\displaystyle{ U }[/math] and [math]\displaystyle{ V }[/math] anyway.
It is easy to check that [math]\displaystyle{ L }[/math] is linear:
- [math]\displaystyle{ L(f + g) = L(f) + L(g) }[/math] and [math]\displaystyle{ L(af) = aL(f) }[/math]
Finally, we check that [math]\displaystyle{ L }[/math] is local in the sense that [math]\displaystyle{ supp Lf \subseteq supp f }[/math]. If [math]\displaystyle{ x_0 \notin supp(f) }[/math], then [math]\displaystyle{ \exists r \gt 0 }[/math] such that [math]\displaystyle{ f = 0 }[/math] in the ball of radius [math]\displaystyle{ r }[/math] centered at [math]\displaystyle{ x_0 }[/math]. Thus, for [math]\displaystyle{ x \in B(x_0, r) }[/math],
- [math]\displaystyle{ \int_{S_{r'}}(f(y)-f(x)) dy = 0 }[/math]
for [math]\displaystyle{ r' \lt r - |x - x_0| }[/math], and hence [math]\displaystyle{ (Lf)(x) = 0 }[/math]. Therefore, [math]\displaystyle{ x_0 \notin supp Lf }[/math].
So by Peetre's theorem, [math]\displaystyle{ L }[/math] is a differential operator.
References
- Peetre, J., Une caractérisation abstraite des opérateurs différentiels, Math. Scand. 7 (1959), 211-218.
- Peetre, J., Rectification à l'article Une caractérisation abstraite des opérateurs différentiels, Math. Scand. 8 (1960), 116-120.
- Terng, C.L., Natural vector bundles and natural differential operators, Am. J. Math. 100 (1978), 775-828.
![]() | Original source: https://en.wikipedia.org/wiki/Peetre theorem.
Read more |